Integrand size = 23, antiderivative size = 88 \[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=-a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )+3 a \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-\frac {3}{2} a \operatorname {PolyLog}\left (3,e^{2 \text {arcsinh}(a x)}\right ) \]
[Out]
Time = 0.14 (sec) , antiderivative size = 88, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.304, Rules used = {5800, 5775, 3797, 2221, 2611, 2320, 6724} \[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=-\frac {\sqrt {a^2 x^2+1} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-\frac {3}{2} a \operatorname {PolyLog}\left (3,e^{2 \text {arcsinh}(a x)}\right )-a \text {arcsinh}(a x)^3+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right ) \]
[In]
[Out]
Rule 2221
Rule 2320
Rule 2611
Rule 3797
Rule 5775
Rule 5800
Rule 6724
Rubi steps \begin{align*} \text {integral}& = -\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+(3 a) \int \frac {\text {arcsinh}(a x)^2}{x} \, dx \\ & = -\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+(3 a) \text {Subst}\left (\int x^2 \coth (x) \, dx,x,\text {arcsinh}(a x)\right ) \\ & = -a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}-(6 a) \text {Subst}\left (\int \frac {e^{2 x} x^2}{1-e^{2 x}} \, dx,x,\text {arcsinh}(a x)\right ) \\ & = -a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )-(6 a) \text {Subst}\left (\int x \log \left (1-e^{2 x}\right ) \, dx,x,\text {arcsinh}(a x)\right ) \\ & = -a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )+3 a \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-(3 a) \text {Subst}\left (\int \operatorname {PolyLog}\left (2,e^{2 x}\right ) \, dx,x,\text {arcsinh}(a x)\right ) \\ & = -a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )+3 a \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-\frac {1}{2} (3 a) \text {Subst}\left (\int \frac {\operatorname {PolyLog}(2,x)}{x} \, dx,x,e^{2 \text {arcsinh}(a x)}\right ) \\ & = -a \text {arcsinh}(a x)^3-\frac {\sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{x}+3 a \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )+3 a \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-\frac {3}{2} a \operatorname {PolyLog}\left (3,e^{2 \text {arcsinh}(a x)}\right ) \\ \end{align*}
Result contains complex when optimal does not.
Time = 0.23 (sec) , antiderivative size = 97, normalized size of antiderivative = 1.10 \[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\frac {1}{8} a \left (i \pi ^3-8 \text {arcsinh}(a x)^3-\frac {8 \sqrt {1+a^2 x^2} \text {arcsinh}(a x)^3}{a x}+24 \text {arcsinh}(a x)^2 \log \left (1-e^{2 \text {arcsinh}(a x)}\right )+24 \text {arcsinh}(a x) \operatorname {PolyLog}\left (2,e^{2 \text {arcsinh}(a x)}\right )-12 \operatorname {PolyLog}\left (3,e^{2 \text {arcsinh}(a x)}\right )\right ) \]
[In]
[Out]
Time = 0.21 (sec) , antiderivative size = 187, normalized size of antiderivative = 2.12
method | result | size |
default | \(\frac {\left (a x -\sqrt {a^{2} x^{2}+1}\right ) \operatorname {arcsinh}\left (a x \right )^{3}}{x}-2 a \operatorname {arcsinh}\left (a x \right )^{3}+3 a \operatorname {arcsinh}\left (a x \right )^{2} \ln \left (1+a x +\sqrt {a^{2} x^{2}+1}\right )+6 a \,\operatorname {arcsinh}\left (a x \right ) \operatorname {polylog}\left (2, -a x -\sqrt {a^{2} x^{2}+1}\right )-6 a \operatorname {polylog}\left (3, -a x -\sqrt {a^{2} x^{2}+1}\right )+3 a \operatorname {arcsinh}\left (a x \right )^{2} \ln \left (1-a x -\sqrt {a^{2} x^{2}+1}\right )+6 a \,\operatorname {arcsinh}\left (a x \right ) \operatorname {polylog}\left (2, a x +\sqrt {a^{2} x^{2}+1}\right )-6 a \operatorname {polylog}\left (3, a x +\sqrt {a^{2} x^{2}+1}\right )\) | \(187\) |
[In]
[Out]
\[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\int { \frac {\operatorname {arsinh}\left (a x\right )^{3}}{\sqrt {a^{2} x^{2} + 1} x^{2}} \,d x } \]
[In]
[Out]
\[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\int \frac {\operatorname {asinh}^{3}{\left (a x \right )}}{x^{2} \sqrt {a^{2} x^{2} + 1}}\, dx \]
[In]
[Out]
\[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\int { \frac {\operatorname {arsinh}\left (a x\right )^{3}}{\sqrt {a^{2} x^{2} + 1} x^{2}} \,d x } \]
[In]
[Out]
Exception generated. \[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\text {Exception raised: TypeError} \]
[In]
[Out]
Timed out. \[ \int \frac {\text {arcsinh}(a x)^3}{x^2 \sqrt {1+a^2 x^2}} \, dx=\int \frac {{\mathrm {asinh}\left (a\,x\right )}^3}{x^2\,\sqrt {a^2\,x^2+1}} \,d x \]
[In]
[Out]